Duality Between Invariant Spaces for Max-Plus Linear Discrete Event Systems
نویسندگان
چکیده
We extend the notions of conditioned and controlled invariant spaces to linear dynamical systems over the max-plus or tropical semiring. We establish a duality theorem relating both notions, which we use to construct dynamic observers. These are useful in situations in which some of the system coefficients may vary within certain intervals. The results are illustrated by an application to a manufacturing system.
منابع مشابه
Max-plus algebra and max-plus linear discrete event systems: An introduction
We provide an introduction to the max-plus algebra and explain how it can be used to model a specific class of discrete event systems with synchronization but no concurrency. Such systems are called max-plus linear discrete event systems because they can be described by a model that is “linear” in the max-plus algebra. We discuss some key properties of the max-plus algebra and indicate how thes...
متن کاملAdaptive model predictive control for max-plus-linear discrete event input-output systems
Model predictive control (MPC) is a popular controller design technique in the process industry. Conventional MPC uses linear or nonlinear discrete-time models. Recently, we have extended MPC to a class of discrete event systems that can be described by a model that is “linear” in the max-plus algebra. In our previous work we have considered MPC for the time-invariant case. In this paper we con...
متن کاملRational Semimodules over the Max-plus Semiring and Geometric Approach of Discrete Event Systems
We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring. We say that a subsemimodule of the free semimodule Sn over a semiring S is rational if it has a generating family that is a rational subset of Sn, Sn being thought of as a monoid under the entrywise product. We show that for various semirings of max-plus type whose elements are integers, r...
متن کاملRational semimodules over the max-plus semiring and geometric approach to discrete event systems
We introduce rational semimodules over semirings whose addition is idempotent, like the max-plus semiring, in order to extend the geometric approach of linear control to discrete event systems. We say that a subsemimodule of the free semimodule Sn over a semiring S is rational if it has a generating family that is a rational subset of Sn, Sn being thought of as a monoid under the entrywise prod...
متن کاملModelling and control of discrete event systems using switching max-plus-linear systems
In this paper we consider the modelling and control of discrete event systems using switching max-plus-linear systems. In switching max-plus-linear systems we can switch between different modes of operation. In each mode the discrete event system is described by a max-plus-linear state equation with different systemmatrices for each mode. The switching allows us to change the structure of the s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- SIAM J. Control and Optimization
دوره 48 شماره
صفحات -
تاریخ انتشار 2010